YAPI MALZEMESİ ÜRETİMİNDE GENLEŞTİRİLMİŞ PERLİT AGREGASI KULLANILABİLİRLİĞİNİN ARAŞTIRILMASI
نویسندگان
چکیده
منابع مشابه
YAPI, a new Yersinia pseudotuberculosis pathogenicity island.
Pathogenicity islands (PAIs) are chromosomal clusters of pathogen-specific virulence genes often found at tRNA loci. In the Yersinia pseudotuberculosis 32777 chromosome, we characterized a 98-kb segment that has all of the characteristic features of a PAI, including insertion in a (phenylalanine) tRNA gene, the presence of a bacteriophage-like integrase-encoding gene, and direct repeats at the ...
متن کاملYAPI: Yet Another Path Index for XML Searching
As many metadata are encoded in XML, and many digital libraries need to manage XML documents, efficient techniques for searching in such formatted data are required. In order to efficiently process path expressions with wildcards on XML data, a new path index is proposed. Extensive evaluation confirms better performance with respect to other techniques proposed in the literature. An extension o...
متن کاملModeling Microarchitectural Performance using YAPI and Metropolis: An ARM Case Study
Here we discuss our use of process networks within the metropolis design framework to model microarchitectural performance. We review our modeling techniques, and lay out how they were applied in concert with an Instruction Set Simulator (ISS) to model the performance of the StrongARM SA-110 and the XScale PCA-255 embedded ARM microprocessors. The results are simple models that are highly retar...
متن کاملSummary of Algorithms for Processor Design and Modeling
ion detailed in this section. In the next section we explore an even higher level of abstraction using the YAPI [3] library in Metropolis[8] to model a variety of architectures. 3. YAPI-Based Modeling Here we explain our use YAPI[3] to model a variety of microarchitectures ranging from simple in order processors, to superscalar out-of-order processors, to an esoteric ringnetwork of processing e...
متن کاملCase Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems at multiple levels of abstraction, so that the design space can be effectively explored by successive refinements and abstractions. In this paper, we present a formal verification methodology and case studies for property verification of designs represented at different abstraction level...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Gazi Üniversitesi Mühendislik-Mimarlık Fakültesi Dergisi
سال: 2014
ISSN: 1304-4915,1300-1884
DOI: 10.17341/gummfd.80231